Nuprl Lemma : btrue_wf
9,38
postcript
pdf
tt
latex
ProofTree
Definitions
tt
,
,
t
T
Lemmas
unit
wf
,
it
wf
origin
T